61. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
62. Foundations of logic and linguistics : problems and their solutions
پدیدآورنده : edited by Georg Dorn and P. Weingartner
کتابخانه: (طهران)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Language and logic,Philosophy -- Congresses ، Language and languages
رده :
BC
5
.
I56
1985
63. Foundations without foundationalism :
پدیدآورنده : Stewart Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Wiskundige logica.
رده :
QA9
.
S48
1991eb
64. Games, norms and reasons :logic at the crossroads
پدیدآورنده : Johan van Benthem, Amitabba Gupta and Eric Pacuit
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Parikh, Rohit,6391-,Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical
رده :
BC
108
.
G36
2011
65. Granular Computing
پدیدآورنده : by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
66. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
67. Induction and deduction in the sciences
پدیدآورنده : Edited by Friedrich Stadler
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Logic,Induction (Logic),Science-Methodology,Logic, Symbolic and mathematical
رده :
BC
71
.
I5
2004
68. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
69. Likeness to Truth
پدیدآورنده : by Graham Oddie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BD171
.
B947
1986
70. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
71. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
پدیدآورنده : / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
کتابخانه: (طهران)
موضوع : Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روش‌شناسی -- کنگره ها,منطق ریاضی-- کنگره‌ها
رده :
Q
174
.
I5P4
72. Logic, Methodology, and Philosophy: proceeding
پدیدآورنده : Edited by Yehoshua Bar-Hillel
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical-Congresses,Science-Methodology-Congresses,Science-Philosopy-Congresses
رده :
BC
135
.
I52
1964
73. Logic, methodology and philosophy of science
پدیدآورنده : / Edited by Yehoshua Bar-Hillel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
BC135
،.
I58
1964
74. Logic, methodology and philosophy of science IV. Proceedings
پدیدآورنده : Ed. by Patrick Suppes )a. o.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Methodology,Congresses ، Science - Philosophy
رده :
BC
135
.
I55
1971
75. Logic, methodology and philosophy of science IX
پدیدآورنده : / edited by Dag Prawitz, Brian Skyrms, Dag Westersteahl
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Science--Philosophy--Congresses,Science--Methodology--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
Q
,
174
,.
I58
,
1991
76. Logic, methodology, and philosophy of science IX
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
77. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Science-- Philosophy-- Congresses,، Science-- Methodology-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
174
.
I58
1991
78. Logic, methodology and philosophy of science; proceedings
پدیدآورنده : International Congress for Logic, Methodology, and Philosophy of Science )2nd: 4691: Jerusalem(
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Science-- Methodology-- Congresses,، Science-- Philosophy-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
79. Logic, methodology, and philosophy of science VI :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
80. Logic, methodology, and philosophy of science VI
پدیدآورنده : / edited by L. Jonathan Cohen ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses,Methodology--Congresses,Science--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
I57
,
1979
